-
1 осуществление контроля
Русско-английский военно-политический словарь > осуществление контроля
-
2 надежный
1. trusty2. reliable -
3 надежный
1. reliable2. reliably -
4 надёжная система контроля
Military: reliable verification systemУниверсальный русско-английский словарь > надёжная система контроля
См. также в других словарях:
Verification and validation — IV V redirects here. For NASA s IV V Facility, see Independent Verification and Validation Facility. Verification and validation is the process of checking that a product, service, or system meets specifications and that it fulfills its intended… … Wikipedia
Third-party verification — TPV (Third party verification) is a process of getting an independent party to confirm that the customer is actually requesting a change or ordering a new service or product. By putting the customer on the phone (usually via transfer or 3 way… … Wikipedia
Device driver synthesis and verification — The device driver is a program which allows the software or higher level computer programs to interact with a hardware device. These software components act as a link between the devices and the operating systems, communicating with each of these … Wikipedia
Runtime verification — is a verification technique that combines formal verification and program execution.It is the process of detecting faults in a system under scrutiny by passively observing its input/output behavior during its normal operations. The observed… … Wikipedia
National technical means of verification — is a phrase that first appeared, but was not detailed, in the Strategic Arms Limitation Treaty (SALT) between the US and USSR. At first, the phrase reflected a concern that the Soviet Union could be particularly disturbed by public recognition of … Wikipedia
Type system — Type systems Type safety Inferred vs. Manifest Dynamic vs. Static Strong vs. Weak Nominal vs. Structural Dependent typing Duck typing Latent typing Linear typing Uniqueness typing … Wikipedia
Credit card — Personal finance Credit and debt Pawnbroker Student loan Employment contract Salary Wage Empl … Wikipedia
Multibiometrics — A biometric system which relies only on a single biometric identifier in making a personal identification is often not able to meet the desired performance requirements. Identification based on multiple biometrics represents an emerging trend. A… … Wikipedia
EROS (microkernel) — EROS (The Extremely Reliable Operating System) is an operating system developed by The EROS Group, LLC., the Johns Hopkins University, and the University of Pennsylvania. Interesting features include automatic data and process persistence, some… … Wikipedia
information theory — the mathematical theory concerned with the content, transmission, storage, and retrieval of information, usually in the form of messages or data, and esp. by means of computers. [1945 50] * * * ▪ mathematics Introduction a mathematical… … Universalium
NuSMV — Developer(s) FBK irst (Trento, Italy), CMU (Pittsburgh, PA), The University of Genova (Italy), The University of Trento (Italy) Stable release 2.5.2 / October 29, 2010; 11 months ago (2010 10 29) Written in AN … Wikipedia